gcds proof